a totally ordered set - Spanish English Dictionary